home *** CD-ROM | disk | FTP | other *** search
/ Collection of Tools & Utilities / Collection of Tools and Utilities.iso / tex / rail.zip / RAIL.TEX / images.pl (.txt) < prev    next >
LaTeX Document  |  1992-01-15  |  5KB  |  144 lines
  1. # LaTeX2HTML 2022 (Released January 1, 2022)
  2. # Associate images original text with physical files.
  3. $key = q//;
  4. $cached_env_img{$key} = q|<IMG
  5.  STYLE="height: 314.00ex; " SRC="|."$dir".q|img3.png"
  6.  ALT="\begin{figure}\begin{rail}
  7. body : [1] ( ( '[' string ']' ) ? body[2–6] + '...
  8. ... [5] '(' body[1–6] ')'
  9. \vert [5] cr
  10. \vert [6]
  11. \end{rail}
  12. \end{figure}">|; 
  13. $key = q/{figure}rail{{par{rules:(rule?+';');{par{rule:(identifier':')?body[1--5];{par{rail{{{{figure};FSF=1.6;AAT/;
  14. $cached_env_img{$key} = q|<IMG
  15.  STYLE="height: 314.00ex; " SRC="|."$dir".q|img2.png"
  16.  ALT="\begin{figure}\begin{rail}
  17. rules : ( rule ? + ';' ) ;
  18. rule : ( identifier ':' ) ? body[1–5] ;
  19. \end{rail}
  20. \end{figure}">|; 
  21. $key = q/{rail}'terminal'{rail};AAT/;
  22. $cached_env_img{$key} = q|<IMG
  23.   STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img6.png"
  24.  ALT="\begin{rail}
  25. 'terminal'
  26. \end{rail}">|; 
  27. $key = q/{rail}()+x{rail};AAT/;
  28. $cached_env_img{$key} = q|<IMG
  29.   STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img22.png"
  30.  ALT="\begin{rail}
  31. () + x
  32. \end{rail}">|; 
  33. $key = q/{rail}(){rail};AAT/;
  34. $cached_env_img{$key} = q|<IMG
  35.   STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img8.png"
  36.  ALT="\begin{rail}
  37. \end{rail}">|; 
  38. $key = q/{rail}()|x+y{rail};AAT/;
  39. $cached_env_img{$key} = q|<IMG
  40.   STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img20.png"
  41.  ALT="\begin{rail}
  42. () \vert x + y
  43. \end{rail}">|; 
  44. $key = q/{rail}()|x+{rail};AAT/;
  45. $cached_env_img{$key} = q|<IMG
  46.   STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img21.png"
  47.  ALT="\begin{rail}
  48. () \vert x +
  49. \end{rail}">|; 
  50. $key = q/{rail}(*){rail};AAT/;
  51. $cached_env_img{$key} = q|<IMG
  52.   STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img11.png"
  53.  ALT="\begin{rail}
  54. ( \ * \ ) \\\\
  55. \end{rail}">|; 
  56. $key = q/{rail}(x|y)|z{rail};AAT/;
  57. $cached_env_img{$key} = q|<IMG
  58.   STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img13.png"
  59.  ALT="\begin{rail}
  60. ( x \vert y ) \vert z
  61. \end{rail}">|; 
  62. $key = q/{rail}[1]xy|[2]z{rail};AAT/;
  63. $cached_env_img{$key} = q|<IMG
  64.   STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img15.png"
  65.  ALT="\begin{rail}[1]x y \vert [2] z
  66. \end{rail}">|; 
  67. $key = q/{rail}abcdefghij{rail};AAT/;
  68. $cached_env_img{$key} = q|<IMG
  69.   STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img9.png"
  70.  ALT="\begin{rail}
  71. a b c d e \ f g h i j
  72. \end{rail}">|; 
  73. $key = q/{rail}body[2--5]{rail};AAT/;
  74. $cached_env_img{$key} = q|<IMG
  75.   STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img16.png"
  76.  ALT="\begin{rail}
  77. body[2–5]
  78. \end{rail}">|; 
  79. $key = q/{rail}body[3--5]{rail};AAT/;
  80. $cached_env_img{$key} = q|<IMG
  81.   STYLE="height: 3.92ex; vertical-align: 171.96ex; " SRC="|."$dir".q|img4.png"
  82.  ALT="\begin{rail}
  83. body[3–5]
  84. \end{rail}">|; 
  85. $key = q/{rail}identifier+','{rail};AAT/;
  86. $cached_env_img{$key} = q|<IMG
  87.   STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img18.png"
  88.  ALT="\begin{rail}
  89. identifier + ','
  90. \end{rail}">|; 
  91. $key = q/{rail}nonterminal{rail};AAT/;
  92. $cached_env_img{$key} = q|<IMG
  93.   STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img5.png"
  94.  ALT="\begin{rail}
  95. nonterminal
  96. \end{rail}">|; 
  97. $key = q/{rail}x+y{rail};AAT/;
  98. $cached_env_img{$key} = q|<IMG
  99.   STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img17.png"
  100.  ALT="\begin{rail}
  101. x + y
  102. \end{rail}">|; 
  103. $key = q/{rail}x+{rail};AAT/;
  104. $cached_env_img{$key} = q|<IMG
  105.   STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img19.png"
  106.  ALT="\begin{rail}
  107. \end{rail}">|; 
  108. $key = q/{rail}x?{rail};AAT/;
  109. $cached_env_img{$key} = q|<IMG
  110.   STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img23.png"
  111.  ALT="\begin{rail}
  112. \end{rail}">|; 
  113. $key = q/{rail}xyz{rail};AAT/;
  114. $cached_env_img{$key} = q|<IMG
  115.   STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img7.png"
  116.  ALT="\begin{rail}
  117. x y z
  118. \end{rail}">|; 
  119. $key = q/{rail}x|(y|z){rail};AAT/;
  120. $cached_env_img{$key} = q|<IMG
  121.   STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img14.png"
  122.  ALT="\begin{rail}
  123. x \vert ( y \vert z )
  124. \end{rail}">|; 
  125. $key = q/{rail}x|y|z{rail};AAT/;
  126. $cached_env_img{$key} = q|<IMG
  127.   STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img12.png"
  128.  ALT="\begin{rail}
  129. x \vert y \vert z
  130. \end{rail}">|; 
  131. $key = q/{rail}{par{decl:'def'identifier'='(expression+';')|'type'identifier'='type;{par{{rail};AAT/;
  132. $cached_env_img{$key} = q|<IMG
  133.   STYLE="height: 40.21ex; vertical-align: 125.10ex; " SRC="|."$dir".q|img1.png"
  134.  ALT="\begin{rail}
  135. decl : 'def' identifier '=' ( expression + ';' )
  136. \vert 'type' identifier '=' type
  137. \end{rail}">|; 
  138. $key = q/{rail}|{rail};AAT/;
  139. $cached_env_img{$key} = q|<IMG
  140.   STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img10.png"
  141.  ALT="\begin{rail}
  142. \ Vert \\\\
  143. \end{rail}">|; 
  144.